Optimal. Leaf size=120 \[ -\frac {15 \text {ArcTan}(\sinh (e+f x)) \sqrt {a \cosh ^2(e+f x)} \text {sech}(e+f x)}{8 f}+\frac {15 \sqrt {a \cosh ^2(e+f x)} \tanh (e+f x)}{8 f}-\frac {5 \sqrt {a \cosh ^2(e+f x)} \tanh ^3(e+f x)}{8 f}-\frac {\sqrt {a \cosh ^2(e+f x)} \tanh ^5(e+f x)}{4 f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.09, antiderivative size = 120, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 6, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.240, Rules used = {3255, 3286,
2672, 294, 327, 209} \begin {gather*} -\frac {15 \text {sech}(e+f x) \sqrt {a \cosh ^2(e+f x)} \text {ArcTan}(\sinh (e+f x))}{8 f}-\frac {\tanh ^5(e+f x) \sqrt {a \cosh ^2(e+f x)}}{4 f}-\frac {5 \tanh ^3(e+f x) \sqrt {a \cosh ^2(e+f x)}}{8 f}+\frac {15 \tanh (e+f x) \sqrt {a \cosh ^2(e+f x)}}{8 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 294
Rule 327
Rule 2672
Rule 3255
Rule 3286
Rubi steps
\begin {align*} \int \sqrt {a+a \sinh ^2(e+f x)} \tanh ^6(e+f x) \, dx &=\int \sqrt {a \cosh ^2(e+f x)} \tanh ^6(e+f x) \, dx\\ &=\left (\sqrt {a \cosh ^2(e+f x)} \text {sech}(e+f x)\right ) \int \sinh (e+f x) \tanh ^5(e+f x) \, dx\\ &=\frac {\left (\sqrt {a \cosh ^2(e+f x)} \text {sech}(e+f x)\right ) \text {Subst}\left (\int \frac {x^6}{\left (1+x^2\right )^3} \, dx,x,\sinh (e+f x)\right )}{f}\\ &=-\frac {\sqrt {a \cosh ^2(e+f x)} \tanh ^5(e+f x)}{4 f}+\frac {\left (5 \sqrt {a \cosh ^2(e+f x)} \text {sech}(e+f x)\right ) \text {Subst}\left (\int \frac {x^4}{\left (1+x^2\right )^2} \, dx,x,\sinh (e+f x)\right )}{4 f}\\ &=-\frac {5 \sqrt {a \cosh ^2(e+f x)} \tanh ^3(e+f x)}{8 f}-\frac {\sqrt {a \cosh ^2(e+f x)} \tanh ^5(e+f x)}{4 f}+\frac {\left (15 \sqrt {a \cosh ^2(e+f x)} \text {sech}(e+f x)\right ) \text {Subst}\left (\int \frac {x^2}{1+x^2} \, dx,x,\sinh (e+f x)\right )}{8 f}\\ &=\frac {15 \sqrt {a \cosh ^2(e+f x)} \tanh (e+f x)}{8 f}-\frac {5 \sqrt {a \cosh ^2(e+f x)} \tanh ^3(e+f x)}{8 f}-\frac {\sqrt {a \cosh ^2(e+f x)} \tanh ^5(e+f x)}{4 f}-\frac {\left (15 \sqrt {a \cosh ^2(e+f x)} \text {sech}(e+f x)\right ) \text {Subst}\left (\int \frac {1}{1+x^2} \, dx,x,\sinh (e+f x)\right )}{8 f}\\ &=-\frac {15 \tan ^{-1}(\sinh (e+f x)) \sqrt {a \cosh ^2(e+f x)} \text {sech}(e+f x)}{8 f}+\frac {15 \sqrt {a \cosh ^2(e+f x)} \tanh (e+f x)}{8 f}-\frac {5 \sqrt {a \cosh ^2(e+f x)} \tanh ^3(e+f x)}{8 f}-\frac {\sqrt {a \cosh ^2(e+f x)} \tanh ^5(e+f x)}{4 f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.25, size = 75, normalized size = 0.62 \begin {gather*} -\frac {\sqrt {a \cosh ^2(e+f x)} \text {sech}^5(e+f x) \left (60 \text {ArcTan}(\sinh (e+f x)) \cosh ^4(e+f x)-5 \sinh (e+f x)-15 \sinh (3 (e+f x))-2 \sinh (5 (e+f x))\right )}{32 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 1.66, size = 85, normalized size = 0.71
method | result | size |
default | \(-\frac {a \left (15 \arctan \left (\sinh \left (f x +e \right )\right ) \left (\cosh ^{4}\left (f x +e \right )\right )-8 \left (\cosh ^{4}\left (f x +e \right )\right ) \sinh \left (f x +e \right )-9 \left (\cosh ^{2}\left (f x +e \right )\right ) \sinh \left (f x +e \right )+2 \sinh \left (f x +e \right )\right )}{8 \cosh \left (f x +e \right )^{3} \sqrt {a \left (\cosh ^{2}\left (f x +e \right )\right )}\, f}\) | \(85\) |
risch | \(\frac {\sqrt {\left ({\mathrm e}^{2 f x +2 e}+1\right )^{2} a \,{\mathrm e}^{-2 f x -2 e}}\, {\mathrm e}^{2 f x +2 e}}{2 f \left ({\mathrm e}^{2 f x +2 e}+1\right )}-\frac {\sqrt {\left ({\mathrm e}^{2 f x +2 e}+1\right )^{2} a \,{\mathrm e}^{-2 f x -2 e}}}{2 f \left ({\mathrm e}^{2 f x +2 e}+1\right )}+\frac {\left (9 \,{\mathrm e}^{6 f x +6 e}+{\mathrm e}^{4 f x +4 e}-{\mathrm e}^{2 f x +2 e}-9\right ) \sqrt {\left ({\mathrm e}^{2 f x +2 e}+1\right )^{2} a \,{\mathrm e}^{-2 f x -2 e}}\, {\mathrm e}^{2 f x +2 e}}{4 f \left ({\mathrm e}^{2 f x +2 e}+1\right )^{5}}+\frac {15 i \ln \left ({\mathrm e}^{f x}-i {\mathrm e}^{-e}\right ) \sqrt {\left ({\mathrm e}^{2 f x +2 e}+1\right )^{2} a \,{\mathrm e}^{-2 f x -2 e}}\, {\mathrm e}^{f x +e}}{8 f \left ({\mathrm e}^{2 f x +2 e}+1\right )}-\frac {15 i \ln \left ({\mathrm e}^{f x}+i {\mathrm e}^{-e}\right ) \sqrt {\left ({\mathrm e}^{2 f x +2 e}+1\right )^{2} a \,{\mathrm e}^{-2 f x -2 e}}\, {\mathrm e}^{f x +e}}{8 f \left ({\mathrm e}^{2 f x +2 e}+1\right )}\) | \(313\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 955 vs.
\(2 (113) = 226\).
time = 0.51, size = 955, normalized size = 7.96 \begin {gather*} \frac {315 \, \sqrt {a} \arctan \left (e^{\left (-f x - e\right )}\right )}{128 \, f} + \frac {105 \, \sqrt {a} \arctan \left (e^{\left (-f x - e\right )}\right ) + \frac {279 \, \sqrt {a} e^{\left (-f x - e\right )} + 511 \, \sqrt {a} e^{\left (-3 \, f x - 3 \, e\right )} + 385 \, \sqrt {a} e^{\left (-5 \, f x - 5 \, e\right )} + 105 \, \sqrt {a} e^{\left (-7 \, f x - 7 \, e\right )}}{4 \, e^{\left (-2 \, f x - 2 \, e\right )} + 6 \, e^{\left (-4 \, f x - 4 \, e\right )} + 4 \, e^{\left (-6 \, f x - 6 \, e\right )} + e^{\left (-8 \, f x - 8 \, e\right )} + 1}}{128 \, f} + \frac {105 \, \sqrt {a} \arctan \left (e^{\left (-f x - e\right )}\right ) - \frac {105 \, \sqrt {a} e^{\left (-f x - e\right )} + 385 \, \sqrt {a} e^{\left (-3 \, f x - 3 \, e\right )} + 511 \, \sqrt {a} e^{\left (-5 \, f x - 5 \, e\right )} + 279 \, \sqrt {a} e^{\left (-7 \, f x - 7 \, e\right )}}{4 \, e^{\left (-2 \, f x - 2 \, e\right )} + 6 \, e^{\left (-4 \, f x - 4 \, e\right )} + 4 \, e^{\left (-6 \, f x - 6 \, e\right )} + e^{\left (-8 \, f x - 8 \, e\right )} + 1}}{128 \, f} - \frac {5 \, {\left (15 \, \sqrt {a} \arctan \left (e^{\left (-f x - e\right )}\right ) - \frac {15 \, \sqrt {a} e^{\left (-f x - e\right )} + 55 \, \sqrt {a} e^{\left (-3 \, f x - 3 \, e\right )} + 73 \, \sqrt {a} e^{\left (-5 \, f x - 5 \, e\right )} - 15 \, \sqrt {a} e^{\left (-7 \, f x - 7 \, e\right )}}{4 \, e^{\left (-2 \, f x - 2 \, e\right )} + 6 \, e^{\left (-4 \, f x - 4 \, e\right )} + 4 \, e^{\left (-6 \, f x - 6 \, e\right )} + e^{\left (-8 \, f x - 8 \, e\right )} + 1}\right )}}{256 \, f} - \frac {5 \, {\left (15 \, \sqrt {a} \arctan \left (e^{\left (-f x - e\right )}\right ) - \frac {15 \, \sqrt {a} e^{\left (-f x - e\right )} - 73 \, \sqrt {a} e^{\left (-3 \, f x - 3 \, e\right )} - 55 \, \sqrt {a} e^{\left (-5 \, f x - 5 \, e\right )} - 15 \, \sqrt {a} e^{\left (-7 \, f x - 7 \, e\right )}}{4 \, e^{\left (-2 \, f x - 2 \, e\right )} + 6 \, e^{\left (-4 \, f x - 4 \, e\right )} + 4 \, e^{\left (-6 \, f x - 6 \, e\right )} + e^{\left (-8 \, f x - 8 \, e\right )} + 1}\right )}}{256 \, f} + \frac {5 \, {\left (3 \, \sqrt {a} \arctan \left (e^{\left (-f x - e\right )}\right ) - \frac {3 \, \sqrt {a} e^{\left (-f x - e\right )} + 11 \, \sqrt {a} e^{\left (-3 \, f x - 3 \, e\right )} - 11 \, \sqrt {a} e^{\left (-5 \, f x - 5 \, e\right )} - 3 \, \sqrt {a} e^{\left (-7 \, f x - 7 \, e\right )}}{4 \, e^{\left (-2 \, f x - 2 \, e\right )} + 6 \, e^{\left (-4 \, f x - 4 \, e\right )} + 4 \, e^{\left (-6 \, f x - 6 \, e\right )} + e^{\left (-8 \, f x - 8 \, e\right )} + 1}\right )}}{64 \, f} + \frac {837 \, \sqrt {a} e^{\left (-2 \, f x - 2 \, e\right )} + 1533 \, \sqrt {a} e^{\left (-4 \, f x - 4 \, e\right )} + 1155 \, \sqrt {a} e^{\left (-6 \, f x - 6 \, e\right )} + 315 \, \sqrt {a} e^{\left (-8 \, f x - 8 \, e\right )} + 128 \, \sqrt {a}}{256 \, f {\left (e^{\left (-f x - e\right )} + 4 \, e^{\left (-3 \, f x - 3 \, e\right )} + 6 \, e^{\left (-5 \, f x - 5 \, e\right )} + 4 \, e^{\left (-7 \, f x - 7 \, e\right )} + e^{\left (-9 \, f x - 9 \, e\right )}\right )}} - \frac {315 \, \sqrt {a} e^{\left (-f x - e\right )} + 1155 \, \sqrt {a} e^{\left (-3 \, f x - 3 \, e\right )} + 1533 \, \sqrt {a} e^{\left (-5 \, f x - 5 \, e\right )} + 837 \, \sqrt {a} e^{\left (-7 \, f x - 7 \, e\right )} + 128 \, \sqrt {a} e^{\left (-9 \, f x - 9 \, e\right )}}{256 \, f {\left (4 \, e^{\left (-2 \, f x - 2 \, e\right )} + 6 \, e^{\left (-4 \, f x - 4 \, e\right )} + 4 \, e^{\left (-6 \, f x - 6 \, e\right )} + e^{\left (-8 \, f x - 8 \, e\right )} + 1\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1645 vs.
\(2 (104) = 208\).
time = 0.47, size = 1645, normalized size = 13.71 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \sqrt {a \left (\sinh ^{2}{\left (e + f x \right )} + 1\right )} \tanh ^{6}{\left (e + f x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.45, size = 124, normalized size = 1.03 \begin {gather*} -\frac {{\left (15 \, \pi - \frac {4 \, {\left (9 \, {\left (e^{\left (f x + e\right )} - e^{\left (-f x - e\right )}\right )}^{3} + 28 \, e^{\left (f x + e\right )} - 28 \, e^{\left (-f x - e\right )}\right )}}{{\left ({\left (e^{\left (f x + e\right )} - e^{\left (-f x - e\right )}\right )}^{2} + 4\right )}^{2}} + 30 \, \arctan \left (\frac {1}{2} \, {\left (e^{\left (2 \, f x + 2 \, e\right )} - 1\right )} e^{\left (-f x - e\right )}\right ) - 8 \, e^{\left (f x + e\right )} + 8 \, e^{\left (-f x - e\right )}\right )} \sqrt {a}}{16 \, f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int {\mathrm {tanh}\left (e+f\,x\right )}^6\,\sqrt {a\,{\mathrm {sinh}\left (e+f\,x\right )}^2+a} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________